Dfa Minimization Using Myhill-Nerode Theorem